computer program verification
電腦程式驗(yàn)證
熱門查詢
- pothead n. 癮君子；巨頭鯨魚
- regularized v. 正規(guī)化（regularize的過去分詞） adj. 正規(guī)化的
- spellbinding adj. 引人入勝的 v. 吸引（spellbind的ing形式）
- subsiding n. 下沉 v. 下沉；沉淀（subside的ing形式）
- bop n. 防噴器；（美口）波普爵士音樂；一擊
- CERN 歐洲原子核研究委員會 [計(jì)] 歐州粒子物理實(shí)驗(yàn)室
- high-pitched adj. 聲調(diào)高的；聲音尖銳的；緊張的；陡的
- embark vi. 從事，著手；上船或飛機(jī) vt. 使從事；使上船
- tellingly adv. 有效地；顯著地
- mechanics n. 力學(xué)（用作單數(shù)）；結(jié)構(gòu)；技術(shù)；機(jī)械學(xué)（用作單數(shù)）
- publishable adj. 可出版的；可發(fā)表的
- sucrose n. [食品][有化] 蔗糖
- impotent adj. 無力的；無效的；虛弱的；陽萎的
- uncivil adj. 不文明的；粗野的；失禮的
- anemia n. 貧血；貧血癥
- Teheran n. 德黑蘭（伊朗首都）
- merger n. （企業(yè)等的）合并；并購；吸收（如刑法中重罪吸收輕罪） n. (Merger)人名；(法)梅爾熱；(德、捷)默格
- seethe n. 沸騰；感情等的迸發(fā) vt. 使浸透；使煮沸 vi. 沸騰；冒泡；激動
- lb. abbr. 磅（等于pounds）
- grammatically adv. 從語法上講
考試詞匯表
- unseasoned wood
- unseaworthiness
- unsecured bonds
- unsecured notes
- unsecured stock
- unselectability
- unselected clay
- unselected core
- unselected seed
- unselfconscious
- unselfishnesses
- unsensitiveness
- unsensitivities
- unsententiously
- unsentimentally
- unseptate fiber
- unsettled debts
- unsettlednesses
- unsettleed soap
- unshaded region
